CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs
نویسندگان
چکیده
Malfunctions of systems in domains such as medicine, avionics, traffic control, defense and nuclear applications can cause human injuries. Test and validation of such systems is a difficult task, because many situations cannot be safely reproduced. Simulation makes possible to assess the correctness of a safety-critical system, even in dangerous situations. This paper presents CLAIRE, a purely software simulation tool with graphic facilities for system modelling, designed for test, validation and non-intrusive dynamic analysis of real time applications.
منابع مشابه
Service Process Modeling through Simulation and Scenario Development for Insurance Analysis
Insurance companies are among the service organizations, which maintain close relationships with their clients by providing insurance services. Clients are the most important resource for service companies. And profitability of insurance companies undoubtedly hinges on clear analysis of client satisfaction and improved productivity of service providers. An important factor of client satisfactio...
متن کاملContextualization and validation of the interprofessional collaborator assessment rubric (ICAR) through simulation: Pilot investigation
Background: Simulation can be used for educating, evaluating and assessing psychometric properties of an instrument. The aim of this study was to contextualize and assess the validity and reliability of the Interprofessional Collaborative Assessment tool (ICAR) in an Iranian context using simulation. Methods: In this descriptive study, contextualization of the ICAR was assessed throug...
متن کاملFormal Modelling, Testing and Verification of HSA Memory Models using Event-B
The Heterogeneous System Architecture (HSA) Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. A weakly-consistent memory model is one of the fundamental cornerstones for achieving high performance concurrency with low power on mobile platforms. HSA...
متن کاملLiterature Survey on GPU Accelerated Circuit Simulation
Analysis, Testing and validation of electronic circuit is very crucial in industries of electronics and embedded systems. Instead of actual hardware testing, simulation software is used for this purpose. Very large circuit design like VLSI testing, affects speed and accuracy of such software tools. So there is the need to increase speed of simulation software without compromising quality. GPUs(...
متن کاملشبیهسازی دبی و نیترات آب در حوزه آبخیز تالار با استفاده از مدل SWAT
In order to controlling and reducing water pollution of surface water and measures to reduce these emissions require environmental programs at watershed scale and also to ensure the cost-effectiveness of such programs, the first stage is determining critical areas that produce polluted runoff. Process-based hydrological models are useful tools for simulating of watershed processes. In this stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002